21. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده : Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
22. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
پدیدآورنده : Sergio Flesca ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2424
23. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
24. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
25. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
26. Nonclassical logics and information processing : International Workshop, Berlin, November 9-10, 1990 : proceedings
پدیدآورنده : D. Pearce, H. Wansing )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
619
27. Sorts and types in artificial intelligence
پدیدآورنده : K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
28. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده : K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
29. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
30. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
31. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992